COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M1BASL30\M2BASB30\M3NGR25\M4NGR20\F2\CSTANFORD UNIVERSITY
C00004 ENDMK
C⊗;
\\M1BASL30;\M2BASB30;\M3NGR25;\M4NGR20;\F2\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4COMPUTER SCIENCE DEPARTMENT\←L\-R\/'7;\+R\→.\→S   Telephone:
\←S\→.415-497-4971
\F1\CDec 11,1974




Dear Barbara:

\J
Hi. I haven't been ignoring you, I've been running around in circles, trying
to get a book on LISP finished. I'm enclosing some of the h.s. about it.
I've been teaching for Bill McKeeman at santa Cruz, and getting ready to teach at San
Jose State Univoisity next semester. I'm also working with D. Luckham on
automatic programming and verification, two endeavors which do not
instill much confidence. I'm  trying to get a reasonable proposal together
to investigate my own ideas on program construction--related to the (missing)
last chapter of Super LISP. There is so much CRAP written about programming
"methodology" (present company excepted, of course) that there should
be room for some more.

Reviews of opus (porkus) magnus
have been good so far, except for ACH who said "humph, rumpfh, it's
o.k., but too informal". Tsk, tsk, old age I guess. And of course
Luckham who says "quite screwing around and do something useful."
Well, there are so few of us that are perfect.
\.